Математическая логика - определение. Что такое Математическая логика
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое Математическая логика - определение

РАЗДЕЛ МАТЕМАТИКИ, ИЗУЧАЮЩИЙ ЕЁ ОСНОВАНИЯ
Матлогика; Символическая логика; Теоретическая логика; Логика символическая; Выводимая формула

МАТЕМАТИЧЕСКАЯ ЛОГИКА         
дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике.
Математическая логика         

логика, развиваемая математическим методом. Характерным для М. л. является использование формальных языков с точным синтаксисом и чёткой семантикой, однозначно определяющими понимание формул. Потребность в такой логике выявилась в начале 20 века в связи с интенсивной разработкой оснований математики (См. Математика), возникновением множеств теории (См. Множеств теория), где были открыты антиномии (см. Парадокс), уточнением понятия алгоритма и другими глубокими и принципиальными вопросами математической науки. Однако значение М. л. для науки в целом не исчерпывается её математическими приложениями, поскольку хорошо рассуждать и доказывать приходится во всех науках. Вот почему М. л. с полным правом может быть охарактеризована как логика на современном этапе. См. статья Логика (раздел Предмет и метод современной логики) и литературу при этой статье.

А. А. Марков.

Математическая логика         
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.

Википедия

Математическая логика

Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.

В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов».

Примеры употребления для Математическая логика
1. Химия высокомолекулярных соединений, физическая химия, высшая математика, математическая логика.
2. - Здесь действует не математическая логика, а психологическая, - считает профессор кафедры социальной психологии МГУ Тахир БАЗАРОВ.
3. - Здесь действует не математическая логика, а психологическая, считает профессор кафедры социальной психологии МГУ Тахир БАЗАРОВ.
4. В чем смысл соединения этих историй, писатель Барикко, похоже, и сам не знает, хотя и настаивает на том, что в этом есть какая-то математическая логика.
Что такое МАТЕМАТИЧЕСКАЯ ЛОГИКА - определение